$\forall$$A$, $B$:Type. ($B$ $\subseteq$r $A$) $\Rightarrow$ ($A$ $\subseteq$r $B$) $\Rightarrow$ strong{-}subtype($A$;$B$)